bench_dir=$1
parse_root=/public/home/jwli/workSpace/yongkang/AAAI-24July-labs/experiments_from_24.0726/lab_results_parser

set -x

$parse_root/synviasat-21FP-js/app.js --benchmark=syntcomp23 --type=ltlfsynSyft --dir=$bench_dir
csv_file=$(ls -1 $bench_dir/*.csv | xargs stat --format='%Y :%y %n' | sort -nr | cut -d: -f2- | head -n 1)
csv_file=$(echo $csv_file | cut -d' ' -f4-)
python $parse_root/diff/diff_multiple.py $csv_file
$parse_root/synviasat-parse-syntcomp23/index.js --copyFlag --path=$csv_file